COMMENT ⊗   VALID 00016 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.device xgp sides←1
C00004 00003	.onecol	<< cover >>
C00008 00004	.insert contents
C00012 00005	.s Description of Equipment
C00018 00006	.ss Budget
C00021 00007	.s Department Composition
C00026 00008	.s Biographical Data
C00036 00009	.cb Edward A. Feigenbaum
C00038 00010	.cb C. Cordell Green
C00049 00011	.cb John McCarthy
C00056 00012	.cb |Terry Winograd|
C00062 00013	.s Current Research
C00072 00014	.s Operation and Maintenance
C00073 00015	.app Computing Facilities
C00076 00016	.onecol
C00077 ENDMK
C⊗;
.device xgp; sides←1;
.require "bask.pub[sub,sys]" source;
.font 5 "sup";
.font 6 "gacb25";
.font 7 "metlb";
.require "twocol.pub[sub,sys]" source;
.macro sskip	⊂ skip (if lines<8 then 200 else 1); ⊃;
.
.every heading(,,);
.
.count item inline;
.at "#"	⊂next item; item!⊃;
.onecol;	<< cover >>
.BEGIN NOFILL; PREFACE 0; INDENT 0
.TABS 35; turn on "⊗" for "%";
.TURN ON "\↓_"
.AT "≤≤" TXT "≥" ⊂ }↓_⊗6TXT⊗*_↓{ ⊃
.begin CENTER; SELECT 7
Research Equipment Proposal Submitted to
National Science Foundation - Computer Science Section

by

Computer Science Department
Stanford University
Stanford, California 94305
.end
.SKIP 2
.select 1
Proposed Amount ≤≤$154,810≥
.skip 1
Department Chairman: ≤≤Professor Edward Feigenbaum≥ \ Soc. Sec. No. ≤≤137-26-8264≥
Telephone ≤≤415 497-4079≥
Department ≤≤Computer Science≥ \School ≤≤Humanities and Sciences≥
.skip 4
Make grant to ≤≤         Leland Stanford Junior University          ≥
.skip 5
Endorsements:
.tabs 10,34,58
.SKIP 1
\Department Head\Institutional Admin. Official
.PREFACE 1
Name\≤≤Edward A. Feigenbaum ≥\≤≤                     ≥
.SKIP 1
Signature\≤≤                     ≥\≤≤                     ≥
Title\≤≤Professor & Chairman ≥\≤≤                     ≥
Date\≤≤                     ≥\≤≤                     ≥
.END
.insert contents;
.COUNT PAGE;
.every heading(Terminal System for Computer Science Research,,{PAGE!})
.twocol;portion some;place text
.s Purpose
	This is a request for a grant in partial support of
of a display terminal system for the Stanford University
Computer Science Department, in response to an announcement by the
National Science Foundation [1].
The system includes 64 display terminals, a printer, and communications
facilities permitting the use of five major time-sharing systems on
the Stanford campus and dial-out access to other computers.
The system will be used about 80 percent for research and 20 percent
for educational computing by graduate students in computer science.
We propose to pay the educational part ourselves.  The 80-20 estimate
is based on the fact that the department uses other facilities that
have terminal systems for its classes.

	Department members have current access to five major time-sharing
computers on the Stanford Campus and others elsewhere.  The Campus
computers include the IBM 370/168 operated by the Stanford Center
for Information Processing, the DECSystem 10s operated by the
Stanford Artificial Intelligence Laboratory, the Institute for
Mathematics in the Social Sciences, the SUMEX system for
artificial intelligence in medicine, and the DECSystem 20 operated
by the LOTS low overhead time-sharing system for instructional use.

	Of course, these different facilities are available for
different purposes and under different conditions.  Therefore,
we have long felt the need for a Departmental terminal system
which would give faculty and graduate students access to all
these computers and any others that may be important.
At present this access to existing computers is more important
than would be the acquisition of a departmental computer.
.skip
[1] Letter to Computer Science Department, Stanford, from Division
of Mathematical and Computer Sciences, National Science Foundation,
23 July 1976.
.s Description of Equipment

	The following are the general specifications of the proposed
terminal system:

.item ←0;
	#. Each office contains a display terminal that can handle
text and graphics.
The graphics requirement might be omitted for some users, but we
have found an inexpensive implementation that provides it.

	#. The system includes a line printer with graphics capability.
This permits the printing of reports, papers,
class notes, and theses, using editors and publication programs maintained on
the various time-shared computers.

	#. A minicomputer maintains the displays and the
communication with the host computers.

	#. Telephone dialers and networking facilities on the system
will permit use of other computers.

.ss Displays

    We plan a system analogous to those in use at the M.I.T. Artificial
Intelligence Laboratory and at the Yale Computer Science Department and
somewhat similar to the older system in use at the Stanford Artificial
Intelligence Laboratory.  Our experience with the latter system indicates
that individual productivity is greatly improved by having a display in
each office.

A 480 by 512 array of bits in
integrated circuit memory will represent each user's display image.  The
memories will be directly addressable by the minicomputer
and characters and pictures will be written in the display image just by
writing their bits in memory.  The major improvement over earlier
systems is that integrated circuits storing 16,384 bits each are used,
rather than the earlier 1024.

A prototype board using the 16k
chips has been designed and built by the Stanford Artificial Intelligence
Laboratory and is now being tested.  As of this writing, the board works
but has a few marginalities that are being fixed.  The 16k chips were
available only in sample quantities - enough for one board - at that time,
but they are expected to be available at a price of about α$4 in
1977.

	The advantage of the system is cheapness and generality; we expect a per
board cost of α$600 and an additional cost-per-terminal of about $600 for
keyboard, monitor, cabling, video switch, and input multiplexor.  This
will enable us to put a terminal in each office without worrying about the
fact that each terminal may have a low duty cycle.
The generality lies in the fact that the system permits arbitrary character
sets and graphics - facilitating the design and use of new programming
languages and the editing and printing of high quality documents.

.ss Minicomputer

    The task will require a computer equivalent to a PDP-11/45 with 64k
words of memory in addition to the 16k words associated with each terminal.

.ss Printer

    We plan to use a printer at least as versatile as the Printronix,
which permits the production of report quality documents, including illustrations.

.ss Communications.

	We include communication lines to the five afore-mentioned
Stanford computers as well as facilities for employing telephone dial-out
to connect with terminal interfaces on other computers.  The cost estimates
are based on the use of an Ethernet-like communication system [1] between
computers.  Communication processors are included for each of the five
computer centers.

A budget is given below.

.cb Reference
[1]  Robert M. Metcalfe, David R. Boggs, "Ethernet: Distributed Packet
Switching for Local Computer Networks", %2Comm. ACM,%* July 1976.
.onecol;
.ss Budget
.begin "budget" verbatim; select 6; narrow 10;

Display processor				       $46,000
	DEC 11/45 CPU
	65K words core memory

Cabinet with extension box & power supplies		 4,300

Display generators (32 @ $675)				21,500
	display cards	   600/channel
	DEC DD-11a units    75

Disks (2)
	RK11-DE		RKO5 Controller and drive	11,000
	RK05		additional drive		 5,100

Display terminals (64 @ $600)				38,400
	Keyboards	  $300/station
	Monitors           150
	Keyboard Scanner    50
	Video switch        60
	cables		    40

Printer
	Printronix with interface			 5,700

Dial-out line interfaces (2 @ $2,000)			 4,000

Intercenter communication controller & transceiver	   700

Communication cable (10,000 ft. @ $.12)			 1,200

Communication processors (5 @ $5,700)			28,500
	DEC 11/03-EA processor		2,000
	LSI/IO bus interface 		3,000
	Comm. controller & transceiver	  700
						       -------
		EQUIPMENT TOTAL			      $166,400

Design & Developement Personnel

	2 Student Research Assistants, 1 year		14,300
	   Half time academic year, full time summer

	Staff benefits (20% of salaries)		 2,860
						       -------
							17,160

Indirect Costs (58% of non-equipment costs)		 9,953

		TOTAL COST			      $193,513

		Stanford contribution (20%)		38,703

		BALANCE				      $154,810
.end "budget"
.twocol
.s Department Composition
The Computer Science Department currently has 18 faculty members
(including four joint appointments), 26 staff members, 6 post-doctoral
associates, 193 graduate students (including 103 in PhD program),
and 14 supporting personnel.

The proposed display system would provide terminals in 64 offices,
32 of which can be active at any given time.  We believe that the
general configuration is the most economical approach available for
providing full access to the five computer centers on campus, although the
specific subsystem choices are not firm and will be reviewed
and revised in the light of later equipment announcements.
This kind of system has become practical only recently because of
reductions in memory costs and advances in packet-switched
communication techniques.

.ss Faculty Users
Expected faculty users of the proposed system and their general
research interests are as follows.
.begin "fac"
.macro p(nam,tit,int) ⊂break
%3nam, %1tit, %2int%1.
.⊃

.p "Forest Baskett, III", Assistant Professor,|Analysis of operating systems,
. measurement and modeling of computing systems|;
.p Bruce Buchanan, Adjunct Professor,|Artificial intelligence, scientific
. inference, theory formation, biomedical applications|;
.p Vaclav Chvatal, "Assistant Professor (joint with O.R.)",|Combinitorics,
. graph theory, linear programming|;
.p George Dantzig,"Professor (joint with O.R.)",|Optimization of large-scale
. systems, combinatorial mathematics, mathematical programming|;
.p Edward Feigenbaum, Professor,|Heuristic programming, DENDRAL, information
. processing psychology|;
.p Robert Floyd, Professor,|Complexity theory, analysis of algorithms|;
.p Gene Golub, Professor,|Matrix computation, structured linear systems,
. least squares and eigenvalues|;
.p Cordell Green, Assistant Professor,|Automatic programming, producton automation,
. biomedical applications|;
.p John Herriot,Professor,|Spline functions, partial differential equations|;
.p Donald Knuth, Professor,|Analysis of algorithms, combinatorics and discrete
. mathematics|;
.p John McCarthy,Professor,|Artificial intelligence, mathimatical theory of
. computation, timesharing|;
.p Edward McCluskey, "Professor (joint with E.E.)",|Digital systems, reliability|;
.p Joseph Oliger,Assistant Professor,|Ordinary differential equations,
. partial differential equations|;
.p Robert Tarjan, Assistant Professor,|Analysis of algorithms, graph theory|;
.p Gio Wiederhold, Assistant Professor,|System design, data base, medical
. applications|;
.p Terry Winograd,"Assistant Professor (joint with Linguistics)",|Natural language,
. representation of knowledge|;
.p Andrew Yao, Assistant Professor,|Computational complexity, analysis of
. algorithms, data structures, combinatotics|;
.p F. Frances Yao, Assistant Professor,|Design and analysis of algorithms,
. computational complexity, network theory|;
.end "fac";

.s Proposed Research
A more detailed explanation of the research projects mentioned above is
contained in Appendix B.

.s Biographical Data

Biographical data is given here for some principal prospective users.
A more complete set can be made available if needed.

.cb Bruce Buchanan

EDUCATION

B.A. (Mathematics), Ohio Wesleyan University, 1961.
Ph.D., M.A. (Philosophy), Michigan State University, 1966.

EXPERIENCE

1976- Adjunct Professor, Computer Science Department, Stanford University.
1972-76 Research Computer Scientist, Computer
Science Department, Stanford University.
1966-71 Research Associate, Artificial Intelligence
Project, Stanford University.

HONORS AND SOCIETIES

Recipient of National Institutes of Health Career Development
Award (1971-1976).
Member of Association for Computing Machinery (ACM),
Philosophy of Science Association,
American Association for Advancement of Science (AAAS).

RECENT PUBLICATIONS

B. G. Buchanan, D. H. Smith, W. C. White, R. Gritter,
E. A. Feigenbaum, J. Lederberg and C. Djerassi,
"Applications of Artificial Intelligence for Chemical
Inference.  XXII.  Automatic Rule Formation in Mass
Spectrometry by Means of the Meta-DENDRAL Program.",
%2Journal of the American Chemical Society,%1 September 1976.

R. Davis, B. Buchanan and E. Shortliffe, "Production Rules
as a Representation for a Knowledge-Based Consultation
Program".  %2Artificial Intelligence,%1 Volume 8,
Number 1, January 1977.

E. H. Shortliffe, R. Davis, S. G. Axline, B. G. Buchanan,
C. C. Green, and S. N. Cohen, "Computer-Based Consultations
in Clinical Therapeutics:  Explanation and Rule Acquisition
Capabilities of the MYCIN System", %2Computers and Biomedical
Research,%1 8, 303-320 (1975).

E. H. Shortliffe and B. G. Buchanan, "A Model of Inexact
Reasoning in Medicine", %2Mathematical Biosciences,%1 23,
351-379 (1975).

.cb Edward A. Feigenbaum

EDUCATION

Ph.D., Doctoral program in the Behavioral Sciences, Graduate School
of Industrial Administration, Carnegie Institute of Technology,
Pittsburgh, Pennsylvania, September, 1959.

B.S., Electrical Engineering, Carnegie Institute of Technology, 1956.


EXPERIENCE

Stanford University, Stanford, California

Chairman, Computer Science Department, 1976-.
 Professor of Computer Science, 1969-.
 Associate Professor of Computer Science, 1965-68.
 Director, Stanford Computation Center, 1965-68.

University of California, Berkeley

 Associate Professor, School of Business Administration, 1964.
 Assistant Professor, School of Business Administration, 1960-63.
 Research Appointment, Center for Human Learning, 1961-64.
 Research Appointment, Center for Research in Management Science,
 1960-64.

Editor, Computer Science Series, McGraw-Hill Book Company, New York,
1965-

Member, Computer and Biomathematical Sciences Study Section, National
 Institutes of Health, Bethesda, Md., 1968-72.


PROFESSIONAL SOCIETIES

American Psychological Association, American Association for the
Advancement of Science, Association for Computing Machinery (member
of National Council of ACM, 1966-68)

.cb C. Cordell Green

EDUCATION

1969 Ph.D. Stanford University Electrical Engineering.
1965 M.S. Stanford University Electrical Engineering.
1964 B.S. Rice University Electrical Engineering.
1963 B.A. Rice University.

EXPERIENCE

1971- Assistant Professor of Computer Science, Stanford University.
1970-1971 Research and Development Program Manager (for artificial intelligence),
  Information Processing Techniques Office, Advanced Research Projects Agency.
1966-1969 Research Mathematician, Artificial Intelligence Group, Stanford
Research Institute.

Consultant for Xerox Corporation, Stanford Research Institute,
Electrotechnical Laboratory (Japan), Systems Control, Inc., Philips
Electrologica (The Netherlands), and University of Edinburgh.

OTHER PROFESSIONAL ACTIVITIES

1975- Editorial Board Member, %2Journal of Cognitive Science%*.
1974-1975 Program Committee Member, USA-Japan Computer Conference.
1974 Mellon Junior Faculty Leave Fellow.
1972- Artificial Intelligence Area Editor, %2Journal of the
Association for Computing Machinery%*.
1971-1976 Public Member, Steering Committee, ARPA Speech Understanding Research Group

RECENT PUBLICATIONS

Shortliffe, Edward H., Davis, Randall, Axline, Stanton G., Buchanan, Bruce
G., Green, C. Cordell, and Cohen, Stanley N., "Computer-Based
Consultations in Clinical Therapeutics:  Explanation and Rule Acquisition
Capabilities of the MYCIN System", %2Computers and Biomedical Research%*,
Volume 8, Number 3, June 1975, pages 303-320.

Newell, A., Cooper, F.
S., Forgie, J. W., Green, C. C., Klatt, D. H., Medress, M. F., Neuburg, E.
P., O'Malley, M. H., Reddy, D. R., Ritea, B., Shoup, J. E., Walker, D. E.,
and Woods, W. A., %2Considerations for a Follow-On ARPA Research Program
for Speech Understanding Systems%*, Information Processing Techniques
Office, Advanced Research Projects Agency, Department of Defense,
Arlington, Virginia, August 1975.

Green, Cordell, and Barstow, David, "Some Rules for the Automatic
Synthesis of Programs", %2Advance Papers of the Fourth International Joint
Conference on Artificial Intelligence%*, Volume 1, Artificial Intelligence
Laboratory, Massachusetts Institute of Technology, Cambridge,
Massachusetts, September 1975, pages 232-239.

Shaw, David E., William R. Swartout, C. Cordell Green, "Inferring LISP
Programs from Examples", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 260-267, September 1975.

Green, Cordell, "The Design of the PSI Program Synthesis System",
%2Proceedings Second International Conference on Software Engineering%*,
Computer Society, Institute of Electrical and Electronics Engineers, Inc.,
Long Beach, California, October 1976, pages 4-18.

Green, Cordell, "The PSI Program Synthesis System, 1976", %2ACM '76:  Proceedings
of the Annual Conference%*, Association for Computing
Machinery, New York, New York, October 1976, pages 74-75.

Clark, Douglas, and Green, C. Cordell, "An Empirical Study of List
Structure in LISP", %2Communications of the ACM%*, Volume 19, Number 11,
November 1976.

Green, C. C., and Barstow, D. R., "A Hypothetical Dialogue Exhibiting a
Knowledge Base for a Program Understanding System", in Elcock, E. W., and
Michie, D., editors, %2Machine Intelligence 8:  Machine Representations of
Knowledge%*, Ellis Horwood, Ltd., and John Wiley and Sons, Inc., New York,
New York, 1976.

.cb John McCarthy

EDUCATION

B.S.  (Mathematics) California Institute of Technology, 1948.
Ph.D. (Mathematics) Princeton University, 1951.

EXPERIENCE

Proctor Fellow, Princeton University (1950-51).
Higgins Research Instructor in Mathematics, Princeton University (1951-53).
Acting Assistant Professor of Mathematics, Stanford University (1953-55).
Assistant Professor of Mathematics, Dartmouth College (1955-58).
Assistant Professor of Communication Science, M.I.T. (1958-61).
Associate Professor of Communication Science, M.I.T. (1961-62).
Professor of Computer Science Stanford University (1962 - present).

HONORS AND SOCIETIES

American Mathematical Society,
Association for Computing Machinery,
Sigma Xi,
Sloan Fellow in Physical Science (1957-59),
IEEE,
ACM National Lecturer (1961),
A.M. Turing Award from Association for Computing Machinery (1971).

PROFESSIONAL RESPONSIBILITIES AND SCIENTIFIC INTERESTS

With Marvin Minsky organized and directed the Artificial
Intelligence Project at M.I.T.

Organized and directs Stanford Artificial Intelligence Project

Developed the LISP programming system for computing with
symbolic expressions, participated in the development
of the ALGOL 58 and the ALGOL 60 languages.

Present scientific work is in the fields of Artificial
Intelligence, Computation with Symbolic Expressions,
Mathematical Theory of Computation, Time-Sharing computer
systems. 

Director LOTS (Low-Overhead Time-Sharing) computer center
for instructional use and unsponsored research.  (1976-1979)

.cb |Terry Winograd|

EDUCATION

The Colorado College  B.A. (Mathematics) 1966.
University College, London (Linguistics) 1967.
M.I.T. Ph.D. (Applied Mathematics) 1970.

SCHOLARSHIPS AND FELLOWSHIPS

Boettcher Scholarship 1962-66.
NSF Undergraduate Research Program in Mathematics 1965.
Fulbright Fellowship 1966-67.
Honorary Woodrow Wilson Fellowship 1966.
Honorary NSF Fellowship 1966.
Danforth Fellowship 1967-70.

EXPERIENCE

Instructor in Mathematics 1970-71, M.I.T.
Asst. Prof. of Electrical Engineering 1971-74, M.I.T.
Visiting Asst. Prof. of Computer Science 1973-74, Stanford University.
Asst. Prof of Computer Science and Linguistics, Stanford Univ. 1974-.

EDITORIAL BOARDS

Artificial Intelligence 1973-.
American Journal of Computational Linguistics 1974-.

RECENT PUBLICATIONS

"Frame Representations and the Procedural - Declarative Controversy", in
D. Bobrow and A. Collins, eds., %2Representation and Understanding: Studies in
Cognitive Science%*, Academic Press, 1975.

"The reactive engine paper", %2Coevolution Quarterly%*, Autumn 1975

"Parsing Natural Language via Recursive Transition Net" 
in Raymond Yeh (ed.) %2Applied Computation Theory,%* Prentice-Hall, 1976.

"Computer memories -- a metaphor for human memory" to appear in Charles
Cofer (ed.) %2Models of Human Memory%*, Freeman 1976.

.onecol
.s Current Research

Current research support in the Computer Science Department is as follows.
.skip
.once nofill select 3;
Principal Investigator(s), Title, Grant or contract no., Funding, Period

.begin "support" indent 0,12;
.at "⊗" grnt "\" pi "\" money "\" dates "\" tit "≡"	⊂
%3pi, %2tit, %1grnt, $money, dates.
.⊃

⊗NSF MCS71-01996 A06\John G. Herriot\299,300\7/1/71-6/30/76 +6\Research in
Numerical Analysis≡

⊗NSF DCR74-23461\Edward Feigenbaum\130,000\2/1/75-1/31/77 +6\The Automation of
Scientific Inference:  Heuristic Computing Applied to Protein Crystallography≡

⊗DAHC04-75-G-0185\Gene Golub\82,566\6/30/75-6/29/78\Research in Least Squares and
Robust Regression≡

⊗NSF MCS72-03752 A03\Donald Knuth\383,000\12/1/72-11/30/76 +6\Analysis of
Algorithms≡

⊗NSF MCS75-22870\Robert Tarjan\29,700\3/1/76-2/28/77 +6\Efficient Graph Algorithms
and Their Applications≡

⊗NSF MCS75-23082\Donald Knuth\20,000\3/1/76-2/28/77 +6\Some New Applications of
Computers to Classical Mathematics≡

⊗NSF MCS76-11649\Edward Feigenbaum, Joshua Lederberg\110,700\6/1/76-5/31/78 +6\
MOLGEN:  A Computer Science Application to Molecular Genetics≡

⊗NSF MCS72-03663 A04\Robert Floyd\359,700\4/1/72-3/31/77 +6\Minimal Algorithms,
Programming Language, and Interactive Languages≡

⊗NIH 5R 24 RR 00612-07\Edward Feigenbaum, Carl Djerassi\784,605 (Direct Costs)\
5/1/74-4/30/77\Resource Related Research - Computers and Chemistry≡

⊗NASA-AMES NCA2-OR745-707\Joseph Oliger\15,000\8/1/76-7/31/77\Efficiency Study
of Numerical Methods for Computational Fluid Dynamics≡

⊗NSF MCS75-23387\Vaclav Chvatal\6,100\9/1/76-8/31/77 +6\Combinational Algorithms≡

⊗NSF MCS 75-13497A01\Gene Golub\123,198\10/1/75-9/30/78 +6\Research in Computing
Methods in Numerical Analysis≡

⊗DAHC15-73-C-0435\Edward Feigenbaum, Joshua Lederberg\903,048\7/15/73-6/30/77\
Heuristic Programming Project≡

⊗ONR N00014-75-C-1132\Joseph Oliger\54,722\9/1/75-11/30/76\Computing Methods for
Approximate Solutions of Time Dependent Problems≡

⊗ONR N00014-76-C-0330\Donald Knuth\54,411\8/1/75-11/30/76\Research in Analysis of
Algorithms≡

⊗ERDA E(04-3) 326 PA#30\Gene Golub\60,000\10/1/75-10/31/76\Research in Numerical
Analysis≡

⊗ONR N00014-76-C-0688\Robert Tarjan\27,990\4/1/76-12/31/76\Efficient Graph
Algorithms and Their Applications≡

⊗Sub-contract from NBER (NSF Grant)\Gene Golub\18,627\6/1/76-5/31/77\Numerical
Computation of Robust and Nonlinear Statistical Estimators≡

⊗IBM Corporation\Donald Knuth\20,000\1/1/76-12/31/76\Unrestricted≡

.cb "Pending Proposals (new and renewal)"

⊗Lawrence-Livermore Labs.\Forest Baskett III (renewal)\2,351\10/1/76-12/31/76\
Research on Parallel Processor Architecture≡

⊗NIH 2R01 HS01544\Bruce Buchanan  Stanley Cohen (competing renewal)\897,212
\6/1/77-5/31/80\Computer-Based Consultation in Clinical Therapeutics≡

⊗USARO, Air Force, ONR\Vaclav Chvatal (new)\39,000\2/1/77-1/31/78\Combinatorial
Optimization≡

⊗NSF DCR74-23461\Edward Feigenbaum (renewal)\221,102\3/1/77-2/28/79\The Automation
of Scientific Inference:  Heuristic Computing Applied to Protein Crystallography≡

⊗NIH 5R24 44 00612-07\Edward Feigenbaum  Carl Djerassi (competing renewal)\
1,463,940 (Direct Costs)\5/1/77-4/30/82\Resource Related Research - Computers
and Chemistry≡

⊗ERDA E(04-3)-326 PA#30\Gene Golub (renewal)\60,000\11/1/76-10/31/77\Research in
Numerical Analysis≡

⊗NSF\John Herriot (new)\213,538\8/1/77-7/31/80\Research in Numerical Analysis≡

⊗NSF MCS72-03752\Donald Knuth (renewal)\111,509\12/1/76-11/30/77\Analysis of
Algorithms≡

⊗ONR N00014-76-C-0330\Donald Knuth (renewal)\45,668\12/1/76-11/30/77\Research in
Analysis of Algorithms≡

⊗NIH-National Library of Medicine\William F. Miller  Bruce Buchanan  Edward
Feigenbaum  Donald Harrison (new)\1,377,721 (Direct Costs)\6/1/77-5/31/82\
Training Program in Biomedical Computing≡

⊗ONR N00014-75-C-1132\Joseph Oliger (renewal)\52,649\12/1/76-11/30/77\Computing
Methods for Approximate Solutions of Time Dependent Problems≡

⊗NSF\Joseph Oliger (new)\130,080\9/1/77-8/31/80\Computational Methods for Time
Dependent Partial Differential Equations≡

⊗NSF MCS75-22870\Robert Tarjan (renewal)\33,807\3/1/77-2/28/78\Efficient Graph
Algorithms≡

⊗ONR N00014-76-C-0688\Robert Tarjan (renewal)\41,286\1/1/77-12/31/77\Efficient
Graph Theory Algorithms and Their Applications≡

⊗NSF DCR 75-00694\Leland Smith, John Chowning\254,600\5/1/75-4/30/77 +6\Computer
Simulations of Music Instrument Tones in Reverberant Space≡

⊗NEA C50-31-28\Leland Smith  John Chowning\160,000\6/1/75-5/31/77\The Computer
Music Facility:  A New Musical Medium≡

⊗NSF BNS 75-17715\Leland Smith  John Chowning\90,000\3/15/76-9/14/77 +5-1/2 mos.\
Timbre Perception for Comples Time-Variant Tones≡

⊗NSF APR 74-01390A04\John McCarthy  (Thomas Binford)\550,000\4/1/76-3/31/78 +6\
Exploratory Study of Computer Integrated Assembly Systems≡

⊗NSF MCS 76-23252\John McCarthy  David Luckham\160,000\6/1/76-5/31/78 +6\
Verification Oriented Programming≡

⊗NSF MCS 75-23252\Terry Winograd\101,500\1/1/76-12/31/77 +6\Computer Modelling of
Language Comprehension Processes≡

⊗XEROX Corporation\Terry Winograd\30,000\9/1/76-9/30/77\Research in Understander
Systems≡

⊗MDA 903-76-C-0206\John McCarthy\1,521,228\1/1/76-6/30/77\Artificial 
Intelligence Project≡

⊗NASW-2916\John McCarthy\45,000\3/1/76-2/28/77\Computer Visual SYS-Systems for
Exploratory Vehicles≡

⊗N00014-76-C-0687\Zohar Manna\86,661\3/1/76-5/31/77\The Logic of Computer
Programming≡

.cb Pending Applications

⊗MCS-7683655\John McCarthy  (Zohar Manna)\192,930\10/0/76-9/30/78\A Unified
Approach to Automatic Programming≡

⊗10/5/76-NSF\John McCarthy  (David Luckham)\74,092\3/1/77-2/28/79\Verification
of Operationg Systems Written in Concurrent Pascal≡

⊗10/15/76-NSF\John McCarthy\95,996\7/1/77-12/31/78\Dialnet:  A Computer
Communication Study≡

.end "support"
.twocol
.s Operation and Maintenance

Operation of the terminal system will be initially under the supervision of
Professor John McCarthy, with policies set by a departmental committee.

The staff devoted to maintenance will consist of one half-time student for
software maintenance and one half-time technician for equipment.
The annual budget for these services is expected to be about
$17,500 for salaries and benefits and $5,000 for parts and outside services.

.skip 4
The source file of this document is CSDDIS.PRO[F76,JMC]@SU-AI
.app Computing Facilities

The existing computer facilities that will be accessed by the system described
above are as follows.

.cb "SAIL (Stanford Artificial Intelligence Lab)"

This system is largely devoted to sponsored research in artificial
intelligence and related fields.  DEC KL10 and KA10 processors share 512k
words (36 bit) of core memory and 7.8*10%59%* bits of disk memory.  The
operating system is similar to the DEC TOPS-10.  A PDP-11/45 is used for
robotics work.  The system is connected to the Arpanet and there are 64
local display terminals with full graphics capability.

.cb SUMEX-AIM

Largely devoted to research on artificial intelligence in medicine, this
system has two DEC KI10 processors sharing 256k words of main memory,
with 2.2*10%59%* bits of disk memory.  The Tenex operating system is used
and this system is also connected to the Arpanet.

.cb "IMSSS (Institute for Mathematical Studies in the Social Sciences)"

Largely devoted to research on computer aided instruction, this system has
a DEC KI10 processor with 256k words of main memory and runs the Tenex
operating system.

.cb "LOTS (Low Overhead Timesharing System)"

This new facility is mainly for instructional use and employs a DEC KL20
computer with 256k words of main memory.  The TOPS-20 monitor is used
and there are several sets of display terminals connected to the system
from various campus locations.

.cb "SCIP (Stanford Center for Information Processing)"

This facility is for general research and instructional use and is based
on an IBM 370/168 computer with 4M bytes of main memory and 4.8*10%59%*
bytes of disk memory.  Numerous typewriter terminals around campus have
access to the system and the Wylbur monitor provides interactive text
editing and remote job entry services.
.onecol;
.app Stanford Computer Science Department Research Report
.skip 4
.once center
A summary of research interests of department members.

.back